We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function:

Source URL: www.andres-loeh.de

• Universal quantification
• Associative property
• Type
• Logic
• Mathematics
• Abstract algebra
• Quantification

CZECH TECHNICAL UNIVERSITY IN PRAGUE FAKULTY OF CIVIL ENGINEERING DEPARTMENT OF MAPPING AND CARTOGRAPHY BASICS OF FUZZY LOGIC AND ITS APPLICATION IN GEOLOGY

Source URL: gama.fsv.cvut.cz

• Fuzzy control system
• Fuzzy set
• Fuzzy number
• Membership function
• Defuzzification
• Fuzzy clustering
• Control system
• Neuro-fuzzy
• Type-2 fuzzy sets and systems
• Fuzzy logic
• Logic
• Mathematical logic

Computational Effects across Generated Binders Part 1: Problems and solutions Yukiyoshi Kameyama Oleg Kiselyov University of Tsukuba

Source URL: okmij.org

• Data types
• Procedural programming languages
• Type theory
• Program analysis
• Type system
• Generator
• C
• Anonymous function
• List comprehension
• Computing
• Software engineering
• Computer programming

F# Succinct, Expressive, Functional The F# Team Microsoft Developer Division Microsoft Research

Source URL: www.erlang-factory.com

• Mathematical notation
• Tuple
• Type theory
• Function
• Fold
• Mathematics
• Higher-order functions
• Data management

1 insight